1

Management of Situated E-Learning in Organizations

Year:
2008
Language:
english
File:
PDF, 46 KB
english, 2008
19

Deciding bisimulation-like equivalences with finite-state processes

Year:
2001
Language:
english
File:
PDF, 205 KB
english, 2001
20

Decidability of model checking with the temporal logic EF

Year:
2001
Language:
english
File:
PDF, 249 KB
english, 2001
23

Undecidable problems in unreliable computations

Year:
2003
Language:
english
File:
PDF, 185 KB
english, 2003
24

Higher-order rewrite systems and their confluence

Year:
1998
Language:
english
File:
PDF, 1.94 MB
english, 1998
27

Strict Lower Bounds for Model Checking BPA

Year:
1998
Language:
english
File:
PDF, 697 KB
english, 1998
28

Process Rewrite Systems

Year:
1997
Language:
english
File:
PDF, 1.22 MB
english, 1997
29

Preface: Volume 68, Issue 6

Year:
2003
Language:
english
File:
PDF, 46 KB
english, 2003
30

Preface: Volume 50, Issue 4

Year:
2001
Language:
english
File:
PDF, 39 KB
english, 2001
31

Semantic Reachability

Year:
1997
Language:
english
File:
PDF, 573 KB
english, 1997
38

Gas vesicle formation in halophilic Archaea

Year:
1997
Language:
english
File:
PDF, 114 KB
english, 1997
40

Common Intervals of Multiple Permutations

Year:
2011
Language:
english
File:
PDF, 1.09 MB
english, 2011
41

Weak bisimilarity and regularity of context-free processes is EXPTIME-hard

Year:
2005
Language:
english
File:
PDF, 292 KB
english, 2005
44

On the role of verbalization during task set selection: Switching or serial order control?

Year:
2005
Language:
english
File:
PDF, 256 KB
english, 2005
45

Task selection cost asymmetry without task switching

Year:
2008
Language:
english
File:
PDF, 388 KB
english, 2008
46

Process Rewrite Systems

Year:
2000
Language:
english
File:
PDF, 270 KB
english, 2000
47

Simulation Preorder over Simple Process Algebras

Year:
2002
Language:
english
File:
PDF, 140 KB
english, 2002
48

Parallelism and the maximal path problem

Year:
1987
Language:
english
File:
PDF, 438 KB
english, 1987
49

Parallel approximation algorithms for bin packing

Year:
1989
Language:
english
File:
PDF, 1019 KB
english, 1989